More from this Author
Found 7 books by Jim Woodcock (Editor)
Formal Methods: Foundations and Applications
by Marcel Vinicius Medeiros Oliveira (Editor), Jim Woodcock (Editor)
Theoretical Aspects of Computing -- Ictac 2013
by Zhiming Liu (Editor), Jim Woodcock (Editor), Huibiao Zhu (Editor)
Theoretical Aspects of Computing -- ICTAC 2013
by Zhiming Liu (Editor), Jim Woodcock (Editor), Huibiao Zhu (Editor)
Theoretical Aspects of Computing -- ICTAC 2013
by Zhiming Liu (Editor), Jim Woodcock (Editor), Huibiao Zhu (Editor)
Theories of Programming and Formal Methods
by Zhiming Liu (Editor), Jim Woodcock (Editor), Huibiao Zhu (Editor)
Unifying Theories of Programming and Formal Engineering Methods
by Zhiming Liu (Editor), Jim Woodcock (Editor), Huibiao Zhu (Editor), Zhiming Liu (Editor), Jim Woodcock (Editor), Huibiao Zhu (Editor)
Formal Methods and Software Engineering
by Jin-song Dong (Editor), Jim Woodcock (Editor)